padding-right: 16px;
}
+ &.text-button.image-button {
+ // those buttons needs uneven horizontal padding, we want the icon side
+ // to have the image-button padding, while the text side the text-button
+ // one, so we're adding the missing padding to the label depending on
+ // its position inside the button
+ padding: 5px 8px 6px; // same as .button
+ GtkLabel:first-child { padding-left: 8px; }
+ GtkLabel:last-child { padding-right: 8px; }
+ }
+
.stack-switcher > & {
// to position the needs attention dot, padding is added to the button
// child, a label needs just lateral padding while an icon needs vertical
GtkCalendar.header .text-button.button.titlebutton {
padding-left: 16px;
padding-right: 16px; }
+ .button.text-button.image-button, .header-bar .text-button.titlebutton.button,
+ .titlebar .text-button.titlebutton.button,
+ GtkCalendar.header .text-button.titlebutton.button {
+ padding: 5px 8px 6px; }
+ .button.text-button.image-button GtkLabel:first-child, .header-bar .text-button.titlebutton.button GtkLabel:first-child,
+ .titlebar .text-button.titlebutton.button GtkLabel:first-child,
+ GtkCalendar.header .text-button.titlebutton.button GtkLabel:first-child {
+ padding-left: 8px; }
+ .button.text-button.image-button GtkLabel:last-child, .header-bar .text-button.titlebutton.button GtkLabel:last-child,
+ .titlebar .text-button.titlebutton.button GtkLabel:last-child,
+ GtkCalendar.header .text-button.titlebutton.button GtkLabel:last-child {
+ padding-right: 8px; }
.stack-switcher > .button > GtkLabel, .header-bar .stack-switcher > .button.titlebutton > GtkLabel,
.titlebar .stack-switcher > .button.titlebutton > GtkLabel,
GtkCalendar.header .stack-switcher > .button.titlebutton > GtkLabel {
@define-color wm_button_active_color_b shade(#393f3f, 0.89);
@define-color wm_button_active_color_c shade(#393f3f, 0.9);
@define-color content_view_bg #292929;
-
-/*# sourceMappingURL=gtk-contained-dark.css.map */
GtkCalendar.header .text-button.button.titlebutton {
padding-left: 16px;
padding-right: 16px; }
+ .button.text-button.image-button, .header-bar .text-button.titlebutton.button,
+ .titlebar .text-button.titlebutton.button,
+ GtkCalendar.header .text-button.titlebutton.button {
+ padding: 5px 8px 6px; }
+ .button.text-button.image-button GtkLabel:first-child, .header-bar .text-button.titlebutton.button GtkLabel:first-child,
+ .titlebar .text-button.titlebutton.button GtkLabel:first-child,
+ GtkCalendar.header .text-button.titlebutton.button GtkLabel:first-child {
+ padding-left: 8px; }
+ .button.text-button.image-button GtkLabel:last-child, .header-bar .text-button.titlebutton.button GtkLabel:last-child,
+ .titlebar .text-button.titlebutton.button GtkLabel:last-child,
+ GtkCalendar.header .text-button.titlebutton.button GtkLabel:last-child {
+ padding-right: 8px; }
.stack-switcher > .button > GtkLabel, .header-bar .stack-switcher > .button.titlebutton > GtkLabel,
.titlebar .stack-switcher > .button.titlebutton > GtkLabel,
GtkCalendar.header .stack-switcher > .button.titlebutton > GtkLabel {
@define-color wm_button_active_color_b shade(#ededed, 0.89);
@define-color wm_button_active_color_c shade(#ededed, 0.9);
@define-color content_view_bg #ffffff;
-
-/*# sourceMappingURL=gtk-contained.css.map */
#!/usr/bin/bash
-sass --update .
+sass --update --sourcemap=none .